Note the invariants of the operation. - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)